1. 解的存在性: 由定理 3.7.1 知 $\bm \mu^{(k)}$ 是一个非负有界解.

2. 解的表达式: 由于 $\bm P$ 是瞬时态的转移概率矩阵, 于是 $\nlim \bm P = \bm 0$, 由定理 3.6.1 的引理, 有

3. 解的唯一性: 设 $\bm V^{(k)}$ 是另一个非负有界解, 则

从而 $\bm V^{(k)} = \bm \mu^{(k)}$. 证毕.